Nuprl Definition : list_update
0,22
postcript
pdf
l
[
i
:=
x
] == mklist(||
l
||;
i
.
l
[
i
][
i
:=
x
])
latex
clarification:
l
[
i
:=
x
] == mklist(||
l
||;update(
i
,
j
.
i
=
j
;
i
.
l
[
i
];
i
;
x
))
latex
Definitions
mklist(
n
;
f
)
,
||
as
||
,
f
[
x
:=
v
]
,
i
=
j
,
l
[
i
]
FDL editor aliases
list_update
origin
i.l[i][i:=x])
i,j. i=
j;i.l[i];i;x)) i.l[i][i:=x])
i,j. i=j;i.l[i];i;x)) j